Quiescence Management Improves Interoperability Testing

نویسندگان

  • Alexandra Desmoulin
  • César Viho
چکیده

At any level of computer networks, interoperability testing generally deals with several components that communicate while trying to provide a designated service. When a component remains silent, the assigned testing verdict is generally Fail, assuming that its behavior is non-conformant. Sometimes, this silence may be anticipated given the component’s specifications. In these cases, the fail verdict is not unsatisfactory. In this paper, we show that “quiescence management” improves interoperability testing. Based on formal definitions of interoperability testing, we introduce new definitions that take into account the possible quiescence of components under test. Through several examples and scenarios, we show that these new definitions detect non-interoperability cases with higher precision. Moreover, these new definitions more clearly distinguish specification-driven quiescences from others, leading to unbiased interoperability tests with accurate verdicts.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Interoperability test generation: formal definitions and algorithm

In the context of network protocols, interoperability testing is used to verify that two (or more) implementations communicate correctly while providing the services described in their respective specifications. This study is aimed at providing a method for interoperability test generation based on formal definitions. Contrary to previous works, this study takes into account quiescence of imple...

متن کامل

Formalizing Interoperability Testing: Quiescence Management and Test Generation

This paper gives formal definitions of the different existing interoperability notions called interoperability criteria. The equivalence between two of them leads to a method for interoperability test generation that avoids the state explosion problem of classical approaches.

متن کامل

Implementing MSC Tests with Quiescence Observation

Given a test scenario as a Message Sequence Chart (MSC), a method for implementing an MSC test in a distributed asynchronous environment is suggested. Appropriate test coordination is achieved using coordinating messages and observed quiescence of a system under test. A formal definition and a classification of faults with respect to the test scenario are introduced. It is shown that the use of...

متن کامل

Hospital information systems interoperability in Iran

Introduction: Interoperability is needed when the Hospital Information System (HIS) data should be combined and shared with different systems. This study was aimed to determine the semantic and technical interoperability of hospital information systems of Iran’s health care centers and propose guidelines to create and develop interoperability of these centers. Methods: This descriptive st...

متن کامل

Virtualized Interoperability Testing: Application to IPv6 Network Mobility

Interoperability testing is an inherently distributed task. It connects different implementations together and determines if they interact according to their specifications, providing the expected services. Deployment, configuration management and operation of an interoperability solution can be drastically improved with the use of virtualization techniques. Virtualized solution allows simpler ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005